reuse/namedef_scope_04.re:15:11: error: name `x` is already defined
